🇬🇧 en fi 🇫🇮

axiom of countable choice noun

  • (set theory) A weaker form of the axiom of choice that states that every countable collection of nonempty sets must have a choice function; equivalently, the statement that the direct product of a countable collection of nonempty sets is nonempty.
 numeroituva [[valinta-aksiooma]]
Wiktionary Links